Verifying Positional Zero For Prs Competition